1. Constraint Databases
پدیدآورنده : edited by Gabriel Kuper, Leonid Libkin, Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.
رده :
QA76
.
9
.
C67
E358
2000
2. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
